With the scalar multiplication map given by the ring is an -module.
The proof is somewhat trivial, but given for completeness.
Proof
Let , then clearly from associativity of multiplication in . Furthermore and from the distributive law. Furthermore, it is clear from the definition of the identity in a ring that .